concat([]) $\sim$ []